Double Angle Identity Proof